Exception support for the ravenscar profile

The Ravenscar Tasking Profile – Experience Report

The Ravenscar Profile was defined at the 8 International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada compiler vendor Aonix subsequently implemented the Profile via its Raven product line, and is currently engaged in producing the formal certification...

Implementing Execution-Time Clocks for the Ada Ravenscar Profile

The capability to monitor the amount of processor time that is used by real-time tasks is crucial for building real-time systems that are robust with respect to worst case execution time estimations. Executiontime clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely...

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

Predictable Memory Utilization in the Ravenscar-Java Profile

In this paper, we present the Ravenscar-Java profile from the perspective of memory utilization. This restricted programming model removes language features with high overheads and complex semantics, on which it is hard to perform various static analyses. Several classes in the RTSJ are refined, and a few new classes are added, which all result in a compact, yet powerful and predictable computa...

Integrating support for undo with exception handling

One of the important tasks of exception handling is to restore program state and invariants. Studies suggest that this is often done incorrectly. We introduce a new language construct that integrates automated memory recovery with exception handling. When an exception occurs, memory can be automatically restored to its previous state. We also provide a mechanism for applications to extend the a...